Nonadiabatic Quantum Theory of Interstitial Diffusion in Crystals