Ulcerative colitis and polyposis coli. Surgical options.