¿Qué película ganó el Oscar a la mejor banda sonora original de 1972?