Please note that proxy configuration for Entra Connect health agent is not in the machine.config file.. You have setup proxy using the following commands mentioned in the following MS article:
Change the agent proxy configuration
Please don't forget to accept helpful answer