AIDS-169005 AIDS169005 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-phenyl-4-[[4-[2-propenyl[4-(trifluoromethyl)phenyl]amino]-1-piperidinyl]methyl]-, (3S,4S)-