mira mendelson was the librettist of what opera?
(AND opera.opera (JOIN opera.opera.librettist m.0n5lvxf))