Phenol Dehydrogenations. VII. Dehydrogenation of Chavicol to Magnolol.