Himno a San Miguel: