(2S)-2-(4-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-4-hydroxypiperidyl)-N-(tert-butyl)-3-cyclohexylpropanamide AIDS-058469 AIDS058469 Hydroxypiperidine deriv.