what play had the character hippolyto in it?
(AND theater.play (JOIN theater.play.characters m.0j8b37t))