2-(7-(1,3-Dioxolan-2-yl)-2-((triisopropylsilyl)oxy)-3-heptynyl)-5-methyl-4-cyclohepten-1-one AIDS-152193 AIDS152193 NSC695207