Horn dimorphism of Allomyrina