Antiplatelet arylnaphthalide lignans from Justicia procumbens.