Total synthesis of (+)-verrucosidin