carboxysome shell protein ccmK4