Semi-classical Quantization of Protein Dynamics: Novel NMR Relaxation Formalism and its Application to Prion