Código postal de San Martín de la Petaca en San Miguel de Allende, Guanajuato, México