Halogen derivative