Unfortunately the proxy settings are currently ignored by the DEM download functionality. The Update of SNAP works though.