Intanto non puoi chiamare "option" una variabile... e' un nome riservato

Il value, in caso di nomi non standard, si ottiene con la sintassi generale:

var MYoption = document.estremi_pratica.elements["agenti[]"].value;