Agrilus mucidus holotype.