Microsoft leaves OpenAI supervisor post