Proserpine, tragédie en musique