Código Python para pasar de notación postfija a infija

Este código es un borrador en  Python que convierte una expresión en notación postfija a notación infija ordenada por paréntesis:

stack = []

#expresion = "AB+CD+*"
expresion = "ABC+*"

for carac in expresion:
  print carac
  if carac == "+" or carac == "*":
    a = stack.pop()
    b = stack.pop()
    stack.append("(" + b + carac + a + ")")
  else: # Apilo caracteres
    stack.append(carac)
    
print stack.pop()