Вы можете создать объект datetime
из данной строки, а затем использовать datetime.isoformat()
для преобразования его в формат ISO.
from datetime import datetime
mydate = datetime.strptime("Thu Jul 09 17:05:42 +0000 2020", "%a %b %d %H:%M:%S %z %Y")
print(mydate.isoformat())
Вывод:
2020-07-09T17:05:42+00:00
Подробнее о форматировании даты можно узнать из документации