Combining Optimal Control Theory and Molecular Dynamics for Protein Folding