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