Pancho Arias: Del teatro infantil al musical para adultos