haidomyrmecine