Tripterococcus brunonis, Endl. (1837)