5-Methyl-2-thiabicyclo[2.2.0]hexan-6-one 2,2-dioxide AIDS-127665 AIDS127665 NSC174612