Antibacterial butenolides from the Korean tunicate Pseudodistoma antinboja.