146394-70-9 (DIPOTASSIUM SALT) AIDS-045087 AIDS045087 Cyclohexanehexanamide, .gamma.-hydroxy-.alpha.-(1-methylethyl)-N-[2-methyl-1-[[(2-pyridinylmethyl)amino]carbonyl]butyl]-.delta.-[[2-[[(1-naphthalenyloxy)acetyl]amino]-1-oxo-3-(phosphonooxy)propyl]amino]-, dipotassium salt, [aS-[N(1R*,2R*),aR*,gR*,dR*(R*)]]- Noa-Ser(OPO3K2)-CVA-Ile-Amp