label: 2-demethylmenaquinol-13 + CO2 + diphosphate => all-trans-tridecaprenyl diphosphate + 1,4-dihydroxy-2-naphthoate + H(+)
label_lc: 2-demethylmenaquinol-13 + co2 + diphosphate => all-trans-tridecaprenyl diphosphate + 1,4-dihydroxy-2-naphthoate + h(+)