Código postal de Arturo Martínez en Álvaro Obregón, Ciudad de México, México