Successful perventricular device closure of cardiac diverticulum in an infant.