the brigands introduction the horn j lynn thompson ohio light opera lyrics music