Prefacifenol epoxide, a halogenated sesquiterpene diepoxide