Total synthesis of a piperidine alkaloid, microcosamine A.