Stone, Robert John, 1919-