London Symphony Orchestra / Josef Krips / Orchestre philharmonique de Leningrad / Evgueni Mravinski