AIDS-165254 AIDS165254 N-tert-butyl-1-[3(S)-(benzyloxycarbonylamino)-2(R)-hydroxy-4-phenylbutyl]-4(R)-cyclohexylpiperidine-2(S)-carboxamide