Código postal de José López Portillo en Huejotzingo, Puebla, México