I believe the Hicharts county code for UK is the HASC code, not the ISO 3166-2 code. Here is a reference for HASC codes: http://www.statoids.com/ugb.html
This does not seem to be an officially sanctioned standard and so I worry about it changing. But it should provide a reference for your Postal conversion lookup.