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