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