Cavity-enhanced single-frequency synthesis via difference-frequency generation of mode-locked pulse trains