1-[(3S,4S)-1-((R)-1-Cyclohexyl-2-hydroxy-ethyl)-4-phenyl-pyrrolidin-3-ylmethyl]-4-(3-phenyl-propyl)-piperidin-4-ol AIDS-162739 AIDS162739