what was the theater production that used translation in aida?
(AND theater.theater_production (JOIN theater.theater_production.translation_used m.08nm72n))