John DeForest Stull (1910-1972)