Benzothiazinone-piperazine derivatives as efficient Mycobacterium tuberculosis DNA gyrase inhibitors.