Python 如何在srt文件和csv文件之间转换？

srt文件示例：

1
00:01:13,360 --> 00:01:14,441
I warned you.

2
00:01:14,680 --> 00:01:17,570
Did I not warn you what would come
of dealing with Dwarves?

3
00:01:17,840 --> 00:01:18,921
Now they've done it.

ID  Start_Time      End_Time        Text
1   00:01:13,360    00:01:14,441    I warned you.
2   00:01:14,680    00:01:17,570    Did I not warn you what would come of dealing with Dwarves?
3   00:01:17,840    00:01:18,921    Now they've done it.

csv文件示例：

1
00:01:13,360 --> 00:01:14,441
I warned you.

2
00:01:14,680 --> 00:01:17,570
Did I not warn you what would come
of dealing with Dwarves?

3
00:01:17,840 --> 00:01:18,921
Now they've done it.

ID  Start_Time      End_Time        Text
1   00:01:13,360    00:01:14,441    I warned you.
2   00:01:14,680    00:01:17,570    Did I not warn you what would come of dealing with Dwarves?
3   00:01:17,840    00:01:18,921    Now they've done it.

---

srt文件有时包含多行文本和html格式符号。有没有我可以用来在它们之间转换的软件包？还是我必须自己写？

图书馆似乎很多。我发现的第一个：