Potent Cyclic Peptide Inhibitors of FXIIa Discovered by mRNA Display with Genetic Code Reprogramming.