Goffredo Petrassi, Netherlands Radio Symphony Orchestra, Arturo Tamayo