Marine alkaloids. 12. Chartellines, halogenated .beta.-lactam alkaloids from the marine bryozoan Chartella papyracea