I thought that all gasoline brands used tetraethyllead as an anti-knock agent until the early 1970s.
Tetraethyllead and the "Ethyl process" are one and the same according to the wiki page linked below.
Looks like the "Ethyl" branding of tetraethyllead dates to the 1920's.
Invalid Link Removed