Oficanthon Paulian, 1985, a junior synonym of Lepanus Balthasar, 1966 (Coleoptera: Scarabaeidae: Scarabaeinae), with redescription of Lepanus mirabilis (Paulian, 1985)