Asymmetric biomimetic oxidations of phenols: The mechanism of the diastereo- and enantioselective synthesis of thomasidioic acid