Four former top Twitter executives, including former CEO Parag Agrawal, have sued Elon Musk. San Francisco:…