David Rizzio, opéra — Hippolyte Rodrigues