halolactonization