Structure revision of trichotoxin, a chlorinated polyketide isolated from a Trichodesmium thiebautii bloom.