Phenol oxidation and biosynthesis. XX. The mechanism of erysodienone formation in vitro.