AIDS-169004 AIDS169004 Pyrrolidine, 1-(cyclohexylcarbonyl)-3-phenyl-4-[[4-(phenyl-2-propenylamino)-1-piperidinyl]methyl]-, (3S,4S)-