Orchestre radio-symphonique de Paris, Ren Leibowitz, Jean Mollien, Jean Hoffmann