1-(2OHPr)-4-Substit-piperazine, thienyl carbamate deriv. AIDS-029834 AIDS029834 Carbamic acid, [3-[4-cyclopropyl-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