Ketonic oxidation products of cyclobarbital.