Levantamiento de pesas en los Juegos Olímpicos de verano de 1972: 90 kg masculino