The ProFX12 does not have insert points on the main mix, so yes, your best bet is running the main outs of the ProFX12 to the inputs of the DBX and the from the outputs of the DBX to the mains and sub (does the sub have an internal crossover?).
You are correct, this requires 4 xlr cables, and...