AIDS-168997 AIDS168997 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-phenyl-4-[[4-(2-propenyl-2-pyridinylamino)-1-piperidinyl]methyl]-, (3S,4S)-