AIDS-113559 AIDS113559 Carbamic acid, (cyclopentylmethyl)[1-[[(3S,4S)-1-(2-naphthalenylcarbonyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-piperidinyl]-, methyl ester