Agrilus trepanatus holotype.