what opera show was produced by filippo sanjust?
(AND opera.opera_production (JOIN opera.opera_production.producer m.0jw0zn))