2,2,3,3-Tetrafluorotetradecahydrocyclododeca[b]thiophene AIDS-143895 AIDS143895 NSC665676