carboxydotrophs