(2S)-2-((3S)-3-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-3-hydroxypyrrolidinyl)-N-((1S,2R)-2-hydroxyindanyl)-3-phenylpropanamide AIDS-058462 AIDS058462 Hydroxypyrrolidine deriv. L-707,897