Código postal de Puerto de San Antón en San Luis de la Paz, Guanajuato, México