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