AIDS-113562 AIDS113562 Carbamic acid, ethyl[1-[[(3S,4S)-4-phenyl-1-(phenylmethyl)-3-pyrrolidinyl]methyl]-4-piperidinyl]-, phenylmethyl ester