Actually Python now offers an asyncio.run function. Your example may now be:

result = asyncio.run(red(x))