AWS EC2 and AI leader Dave Brown to exit, replaced by Amazon exec and Microsoft vet …