Código postal de Portales Sur en Benito Juárez, Ciudad de México, México