Formal Enantioselective Synthesis of (+)-Compactin | doi.page