What is the idealized chemical formula of the pigment synthesized by Johann Jacob Diesbach?