4-(4,8-Dithiaspiro[2.5]oct-1-yl)-2,2-dimethyl-1,3-dioxolane AIDS-141338 AIDS141338 NSC656595