Were Pietro Mascagni and Ambroise Thomas both best known for their contrabution to theatre?