The Pummerer cyclization route to the ibophyllidine alkaloids. Total synthesis of (±)-deethylibophyllidine