1-(7,7-Dioxido-7-thiabicyclo[4.2.0]oct-1-yl)piperidine AIDS-127062 AIDS127062 NSC140140