Extraire chaine de caracteres dans un fichier

Bonjour,

J'aimerais avoir de l'aide pour extraire une donnée qui m'interesse dans le fichier suivant:

pin : "streck"
dst : "smatch
macro(AMD) {
pin_ehq :"top";
pin_ert :"ray";
pin_tfg :"vft";
macro(AGT) {
pin_ehq :"top";
pin_ert :"ray_ht";
pin_tfg :"vft";
macro(BGD) {
pin_ehq :"top";
pin_ert :"ray_li";
pin_tfg :"vft";

Je cherche à extraire la chaine de caractere "pin_ert" qui correspond à la bonne "macro".
Par exemple pour la macro "macro(AMD)" correspond la pin_ert "ray".

J'ai fait un bout de programme:

Liste = ('AMD','AGT','BGD')
chaine = "pin_ert"
source = open('fichier.txt', 'r')
for element in Liste:
line = source.readline()
while line!='':
if element in line:
line = source.readline()
print (line)
line = source.readline()
source.close()

Je suis débutant sur python et j'aimerais obtenir de l'aide svp...