1-Oxo-1H-isothiochromene-3-carboxylic acid 4361-85-7 AIDS-130290 AIDS130290 NSC403261