(2S)-N-[(1S)-1-((3S)-1-{(1S)-1-[N-((1S,2R)-2-Hydroxyindanyl)carbamoyl]-2-phenylethyl}-3-hydroxypyrrolidin-3-yl)-2-phenylethyl]-3-methyl-2-[(phenylmethoxy)carbonylamino]butanamide AIDS-058464 AIDS058464 Hydroxypyrrolidine deriv.