What is the historical name of the acid that dissolves phenazine?