¿Quién es el compositor de banda sonora que más Oscars ha ganado (9, a 2019)?