AIDS-095536 AIDS095536 [(2R,3S)-3-tert-Butoxycarbonylamino-2-hydroxy-4-phenyl-(3,7-dimethylheptylcarboxaldehyde [(Benxo [1,3] dioxole-5-sulfonyl] butylamine