(2R,3R)-2-Isopropyl-1,1-dioxidotetrahydro-3-thienyl ((1S,2R)-1-benzyl-3-{(2S)-2-[(tert-butylamino)carbonyl]-4-isobutylpiperazin-1-yl}-2-hydroxypropyl)carbamate 1-(2OHPr)-4-Substit-piperazine, thienyl carbamate deriv. AIDS-029830 AIDS029830