(2S)-2-((3S)-3-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-3-hydroxypyrrolidinyl)-N-(tert-butyl)-3-cyclohexylpropanamide AIDS-058465 AIDS058465 Hydroxypyrrolidine deriv.