Bruce Boyce, London Philharmonic Orchestra, Josef Krips