AIDS-153883 AIDS153883 Benzeneacetic acid, 3-[3-[1-[[(3S,4S)-1-(cyclohexylmethyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-hydroxy-4-piperidinyl]propyl]-