Как конвертировать время по Гринвичу во время EST с помощью python

Я хочу преобразовать время по Гринвичу в время EST и получить отметку времени. Я пробовал следующее, но не знаю, как установить часовой пояс.

time = "Tue, 12 Jun 2012 14:03:10 GMT"
timestamp2 = time.mktime(time.strptime(time, '%a, %d %b %Y %H:%M:%S GMT'))