Anterior cingulectomy in man.