Orchestra del Teatro dell'Opera di Roma, Tullio Serafin, Coro del Teatro dell'Opera di Roma, Carlo Del Monte, Mario Sereni