A quick google search came up with this converter: http://ipv6.ztsoftware.net/
I could not find a page explaining the conversion rules, but maybe this can help you as a starting point?