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