Código postal de San Juan Portezuelo en Atlixco, Puebla, México