Tiptree, James, Jr., 1915-1987