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