John DeMain / Plácido Domingo / Rio de Janeiro Municipal Theatre Orchestra / Giacomo Meyerbeer