Transforming XML embedded in XML

Question

Stupid ETL app has a job that exports a SQL query in XML file with the following format:

<?xml version="1.0" encoding="UTF-8"?>
<Export>
  <Record>
    <Property Name="Name">XMLProperties</Property>
    <Property Name="Value" PreFormatted="1">&lt;?xml version=&apos;1.0&apos; encoding=&apos;UTF-16&apos;?&gt;&lt;Properties version=&apos;1.1&apos;&gt;&lt;SQL&gt;&lt;SelectStatement modified=&apos;1&apos; type=&apos;string&apos;&gt;&lt;![CDATA[select &apos;query&apos; from dual]]>&lt;/SelectStatement&gt;&lt;/SQL&gt;&lt;/Properties &gt;</Property>
  </Record>
</Export>

I'd like to extract the SQL string but I can't figure out how to use XSL to extract an XML with different encoding inside another XML.