Dirichlet boundary control for a parabolic equation with a final observation I: A space-time mixed formulation and penalization.