Formal enantioselective synthesis of (+)-compactin.