Enantioselective synthesis of (+)-(1R,2S)-allocoronamic acid