The ant genus Smithistruma: a first supplement to the world revision (Hymenoptera: Formicidae).