2-((3R)-3-{(1S)-1-[(tert-Butoxy)carbonylamino]-2-phenylethyl}-3-hydroxypiperidyl)(2S)-N-(tert-butyl)-3-cyclohexylpropanamide AIDS-058473 AIDS058473 Hydroxypiperidine deriv.