Philharmonia Orchestra, Royal Philharmonic Orchestra and Enrique Batiz