Преобразование даты, полученной с сервера ntp, с помощью python

Можно ли преобразовать время, полученное с сервера NTP (с помощью скрипта python)в этом формате «среда 13 июля 00:17:58 CEST 2011» в этот формат «2011-07-13 00:18:10»

    client = socket(AF_INET, SOCK_DGRAM)
    data = '\x1b' + 47 * '\0'
    client.sendto(data, (ntp.server.com,123))
    data, address = client.recvfrom( 1024 )
    if data:
        utc_secs = struct.unpack('!12I', data)[10]
        utc_secs -= 2208988800L
        utc_secs = time.ctime(utc_secs)
        print utc_secs
        return utc_secs

Я получаю следующий формат: «среда 13 июля 00:17:58 CEST 2011»

Я хочу преобразовать это в следующий формат: «2011-07-13 00:17:58» ('% Y-% m-% d% H:% M:% S')

Спасибо :)