AIDS-113569 AIDS113569 Carbamic acid, [1-[[(3S,4S)-1-benzoyl-4-phenyl-3-pyrrolidinyl]methyl]-4-piperidinyl]2-propenyl-, (4-nitrophenyl)methyl ester