Contrast transthoracic echocardiography versus transcranial Doppler for patent foramen ovale detection.