Triquivijate, Municipio de Antigua