1-(2OHPr)-4-Substit-piperazine, thienyl carbamate deriv. AIDS-029829 AIDS029829 Carbamic acid, [3-[4-(1-ethylpropyl)- 2(S)-[[(1,1-dimethylethyl)amino]carbonyl]-1-piperazinyl]-2(R)-hydroxy-1(S)-(phenylmethyl)propyl]-, tetrahydro-2(R)- (1-methylethyl)-1,1-dioxido-3(R)-thienyl ester