ventricular cordectomy