(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-methyl(1,3-thiazol-4-yl))methoxy]carbonylamino}butanamide AIDS-071431 AIDS071431