Orchestra di Roma della Rai, Wolfgang Sawallisch, Coro di Roma della Rai, Ottavio Garaventa, Shirley Verrett & Mario Petri