benzothiophene
not defined yet