A Chinese Biographical Dictionary/An Ch'ung-hui

