Stochastic Control for Fine-tuning Diffusion Models: Optimality, Regularity, and Convergence