RCA’s “Mr. Color TV” Dies