When does a proxy use the Alternate DNS Servers?