Today I read Debian: convert ppk key for linux ssh which explained how to convert PuTTY *.ppk files to *.pem files for Linux:

  sudo apt-get install putty-tools
  puttygen mykey.ppk -O private-openssh -o mykey.pem