¿Quién ganó el Oscar a la mejor banda sonora de un musical de 1952?