Как переименовать большую часть файлов jpg в png с помощью convert

Допустим, у меня есть куча файлов .jpg , которые я хочу преобразовать в .png . Структура файла следующая:

00-01.jpg 
00-02.jpg 
00-03.jpg 
00-04.jpg 
00-05a.jpg
00-05b.jpg
01-01.jpg 
01-02.jpg 
01-03a.jpg
01-03b.jpg
01-04a.jpg
01-04b.jpg

Теперь я хочу переименовать 00-01.jpg в ACDfff001.png , затем 00-02.jpg в ACDfff002.png и так далее. Однако, когда я дойду до 00-05a.jpg и 00-05b.jpg , я хочу назвать их ACDfff005a.png соответственно ACDfff005b.png .

Окончательный результат, например, должен быть следующим:

00-01.jpg  ->  ACDfff001.png
00-02.jpg  ->  ACDfff002.png
00-03.jpg  ->  ACDfff003.png
00-04.jpg  ->  ACDfff004.png
00-05a.jpg ->  ACDfff005a.png
00-05b.jpg ->  ACDfff005b.png
01-01.jpg  ->  ACDfff006.png
01-02.jpg  ->  ACDfff007.png
01-03a.jpg ->  ACDfff008a.png
01-03b.jpg ->  ACDfff008b.png
01-04a.jpg ->  ACDfff009a.png
01-04b.jpg ->  ACDfff009b.png

Возможно ли это в bash или python?