Obituaries: John Lee Robinson MD