Biomimetic total synthesis of (+)-himbacine.