The Bob Koto hadn't a proper name (perhaps the project code was A2S, but this is not a name); anyway, a very close view on the front grill of the clay, allowed to see that the car wasn.t badged as Austin A30, or Austin Seven, but as Austin 25. I understand that no reason is known about this fact.
So I suppose the name you are searching for is Prototype of Austin 30, by Bob Koto, 1951, badged as Austin 25.