Reductive tricarboxylic acid cycle