Hi Ashwin,
In addition to proxy settings, if you are working from your office which blocks a number of HTTP ports, then you might have to confirm whether port 443 is accessible and you are able to ping to your account URL from office.
For proxy settings, I am able to connect to HANA Tools site with following proxy config.
Ameya