Contrast transcranial Doppler ultrasound in the detection of right-to-left shunts: comparison of different procedures and different contrast agents.