Josef Krips, Royal Philharmonic Orchestra