(2S)-2-((3S)-3-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-3-hydroxypiperidyl)-N-(tert-butyl)-4-methylpentanamide AIDS-058472 AIDS058472 Hydroxypiperidine deriv.