Código postal de José López Portillo en Pachuca de Soto, Hidalgo, México