A stereospecific total synthesis of (3R*,5S*,9S*)-gephyrotoxin 223AB