Macrocyclic Cysteine Knot Microproteins: Total Syntheses and Biological Activities