bohuslav martinů is the librettist of what opera?
(AND opera.opera (JOIN opera.opera.librettist m.017gzy))