A brief history of appendicitis: familiar names and interesting patients.