Thaumasocerus diversicornis Fairmaire, 1899