Royal Philharmonic Orchestra, Enrique Batiz and John Georgiadis