Código postal de Lago Sur en Miguel Hidalgo, Ciudad de México, México