Lucha libre en los Juegos Olímpicos de Verano de 1952 - Peso semipesado grecorromano masculino