3-Isopropoxy-2-((2-methyl-1,3-dioxolan-2-yl)methyl)-5,8-dioxaspiro[3.4]oct-2-en-1-one AIDS-152883 AIDS152883 NSC698084