¿Quién hizo la banda sonora de "Superman" (1978)?