Biological Activities of Synthetic Analogs of Halocidin, an Antimicrobial Peptide from the Tunicate Halocynthia aurantium