Theory-guided Pseudo-spectral Full Waveform Inversion via Deep Neural Networks