Código postal de San José de la Cruz en San Miguel de Allende, Guanajuato, México