Harzia verrucosa (Tognini) Hol.-Jech.