Unix time is in seconds. I took a look at the time library header and it appears that hourFormat12() should return the hour in a 12 hour format (as opposed to hour() which is 24) it also appears to have an overload to return the hour when passed Unix time.
Have you tried the hour() method to see if that works?
Personally, I only ever use a 24 hour clock.