Natación en los Juegos Olímpicos de verano de 1952: 400 metros estilo libre masculino