Convert an ISO UTC timestring to TAI timestamp.
str
The time to convert.
The TAI time corresponding to the input.
convert_time()