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