Hamilton-Jacobi-Bellman equations for the optimal control of the Duncan-Mortensen-Zakai equation.