Taxonomy of Anterastes and related genera: a new synonym and a new species of Anterastes