AIDS-113566 AIDS113566 carbamic acid, [1-[[(3S,4S)-1-(cyclohexylcarbonyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-piperidinyl]ethyl-, phenylmethyl ester