Converts seconds into a formatted time string (HH:MM:SS).
A string formatted as HH:MM:SS.
The number of seconds to convert.