Tullio Serafin, Orchestra del Teatro dell'Opera di Roma, Coro del Teatro dell'Opera di Roma