AIDS-139945 AIDS139945 Diethyl 3,3-thietanedicarboxylate NSC650615