Patent foramen ovale closure with GORE HELEX or CARDIOFORM Septal Occluder vs. antiplatelet therapy for reduction of recurrent stroke or new brain infarct in patients with prior cryptogenic stroke: Design of the randomized Gore REDUCE Clinical Study.