Lucha libre en los Juegos Olímpicos de verano de 1972 - Grecorromano masculino de 52 kg