Alkaloids of the Papaveraceae. XVI. Total synthesis of the pavinane alkaloid platycerine