AIDS-168998 AIDS168998 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-[[4-[(cyclopropylmethyl)-2-pyridinylamino]-1-piperidinyl]methyl]-4-phenyl-, (3S,4S)-