Thelotrema compunctum var. portoricensis Vain.