The muscle relaxant thiocolchicoside is an antagonist of GABAA receptor function in the central nervous system