(R)-2-Cyclopropyl-{(3S,4S)-3-phenyl-4-[4-(3-phenyl-propyl)-piperidin-1-ylmethyl]-pyrrolidin-1-yl}-acetic acid AIDS-162755 AIDS162755