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