Orchestra del Teatro dell'Opera di Roma, Gianandrea Gavazzeni, Coro del Teatro dell'Opera di Roma