carmen wd 31 act ii hol carmen marilyn horne james mccracken russell christopher andrea velis donald gramm the metropolitan opera orchestra leonard bernstein the manhattan opera chorus john mauceri lyrics music