4 Tooke Street sells for $3.5 million at auction