Biomolecular Engineering by Combinatorial Design and High-Throughput Screening: Small, Soluble Peptides That Permeabilize Membranes | Synapse