The production of an inactive form of antithrombin through limited proteolysis by thrombin