Antibiotics from Algae. XXXV. Phlorotannins from Ecklonia maxima1.