Leonard Bernstein, Chœurs de Radio France, Orchestre National de France & Orchestre Philharmonique de Radio France