Computational protein design enables a novel one-carbon assimilation pathway