bicarbonate-formate cycle