Código postal de San Miguel el Alto (Ranchos Viejos) en Ixtlahuaca, México, México