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