Factor XIIa inhibition by Infestin-4: in vitro mode of action and in vivo antithrombotic benefit | Synapse