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