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