4-(2-Mercaptoisobutyl)-alpha,alpha-dimethyl-1-piperazineethanol AIDS-018896 AIDS018896