The total synthesis of α-allokainic acid