What is the treatment for an atrial septal defect?