(S)-(+)-5,5',6,6',7,7',8,8'-Octahydro-3,3'-di-t-butyl-1,1'-bi-2-naphthol,dipotassium salt?