wittig reaction lab alkene products analysis and nmr spectra