William James Leslie Williams (1911-)