AWS WorkMail Migration Tool is a feature-rich tool that allows its user to backup and migrate their Amazon Workmail email to PST, MBOX, EML, MSG, etc, and email clients like Office 365, IMAP, Gmail, and G Suite. This risk-free utility also helps with downloading Amazon Workmail emails to a local drive, Computer, and PC. Additionally, it provides an option to save attachments separately in PDF format. They are flawlessly compatible with all versions of the Windows operating system. To explore the performance you can download it. 

However, if you want to import AWS WorkMail to PST Format then you will go with this informative article Export AWS WorkMail To PST Format. This article will help you to accomplish the process easily.