Boxeo en los Juegos Olímpicos de Verano de 1952: peso mediano