除虫菊酯,包括人工合成的化合物