The present patent application discloses compounds having the formula ##STR1## or a pharmaceutically acceptable salt thereof wherein R.sup.3, R.sup.4, R.sup.6 and R.sup.7 each have the meanings set forth in the specification. The compounds are useful for the treatment of various central nervous system disorders such as epilepsy and other convulsive disorders, anxiety, sleep disorders and memory disorders.