AIDS-113568 AIDS113568 Carbamic acid, [1-[[(3S,4S)-4-phenyl-1-(phenylmethyl)-3-pyrrolidinyl]methyl]-4-piperidinyl]2-propenyl-, (4-nitrophenyl)methyl ester