Automatic implantable cardioverter defibrillator in electroconvulsive therapy.