OpenAI to acquire developer tools maker Pierre for Codex Tech in Asia