EVP de serviços globais da F5 vende US$ 3,1 mi em ações