(2S)-N-((1S,2R)-3-{4-(2H-Benzo[d]1,3-dioxolan-5-ylmethyl)-2(S)-[N-(tert-butyl)carbamoyl]piperazinyl}-2-hydroxy-1-benzylpropyl)-3-methyl-2-({[2-(methylethyl)(1,3-thiazol-4-yl)]methoxy}carbonylamino)butanamide AIDS-071426 AIDS071426