Quantification of the effects of muscle relaxant drugs in man by tonic stretch reflex.