1-(7,7-Dioxido-7-thiabicyclo[4.2.0]oct-1-yl)pyrrolidine 56595-84-7 AIDS-126568 AIDS126568 NSC116540