Levantamiento de pesas en los Juegos Olímpicos de verano de 1980: 56 kg masculino