Código postal de San Antonio en Xochimilco, Ciudad de México, México