Lucha libre en los Juegos Olímpicos de verano de 1956: peso mosca de estilo libre masculino