Isolation and some properties of ciguatoxin