AIDS-169003 AIDS169003 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-phenyl-4-[[4-(2-propenyl-2-pyrimidinylamino)-1-piperidinyl]methyl]-, (3S,4S)-