AIDS-152030 AIDS152030 Dispiro[benzofuran-3(2H),1'-cyclohex[2]ene-4',2''-[1,3]dioxolane] NSC694669