Total syntheses of vasicoline and vasicolinone