Código postal de San Miguel (San Miguel Tenextepec) en Amanalco, México, México