Contrast echocardiographic documentation of paradoxical embolism.