Reductive TCA cycle in an aerobic bacterium, Hydrogenobacter thermophilus strain TK-6