2,2,3,3-Tetrafluorooctahydro-1-benzothiophene-4-carbonitrile AIDS-143899 AIDS143899 NSC665680