Of the following, which is shown to be effective in the treatment of life-threatening hereditary angioedema?