Aeruginosins 102-A and B, new thrombin inhibitors from the cyanobacterium Microcystis viridis (NIES-102)