The structures of four new himbacine-like Galbulimima alkaloids