Código postal de El Atrio en San Miguel de Allende, Guanajuato, México