Carmen Barredo
Baby Barredo, Philippine theater luminary, passes away
