Eu descobri a resposta a esta pergunta completamente por acaso.
O truque é manter apenas os valores de proxy HTTP e HTTPS nas configurações "manuais". Mantenha o proxy SOCKS vazio.
Assim que definimos essas configurações, o eclipse acessa com êxito a lista de plugins e instala com êxito plugins também!