Lucha libre en los Juegos Olímpicos de verano de 1972: estilo libre masculino de 100 kg