AIDS-113565 AIDS113565 Carbamic acid, ethyl[1-[[(3S,4S)-1-(2-naphthalenylcarbonyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-piperidinyl]-, phenylmethyl ester