Thesée; tragedie, mise en musique