London Symphony Orchestra, Evgueni Mravinski, Josef Krips & Leningrad Philharmonic Symphony Orchestra