2-((3R)-3-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-3-hydroxypyrrolidinyl)(2S)-N-((1S,2R)-2-hydroxyindanyl)-3-phenylpropanamide AIDS-058463 AIDS058463 Hydroxypyrrolidine deriv.