Orchestre du Théâtre de l'Opéra de Paris, André Cluytens & Choeur du Théâtre de l'Opéra de Paris