Halffter, Ernesto (1905-89)