Pico San Miguel (652 ALT), ANTUÑANO