Orchestra Sinfonica Nazionale della RAI, Gianandrea Gavazzeni, Sesto Bruscantini, Coro nazionale della RAI