4-(3-Hydroxy-1-methyl-2-oxo-2,3-dihydro-1H-indol-3-yl)-1,3-benzodioxole-5,6-dione AIDS-130780 AIDS130780 NSC612423