acromyrmex octospinosus Synonyms