AIDS-168996 AIDS168996 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-phenyl-4-[[4-(propyl-2-pyridinylamino)-1-piperidinyl]methyl]-, (3S,4S)-