Amadis; tragedie, mise en musique