(R)-2-Cyclohexyl-{(3S,4S)-3-phenyl-4-[4-(3-phenyl-propyl)-piperidin-1-ylmethyl]-pyrrolidin-1-yl}-acetic acid AIDS-162751 AIDS162751