1-(2-Benzothiazolyl)-3,5-pyrazolediol AIDS-020290 AIDS020290