Ochs, Robert David (1915- ).