146394-65-2 (DIPOTASSIUM SALT) AIDS-045088 AIDS045088 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)butyl]amino]-, dipotassium salt, [aS-[N(1R*,2R*),aR*,gR*,dR*(2R*,3S*)]]- Noa-Thr(OPO3K2)-CVA-Ile-Amp