Three new diterpenes, 1,3-dioxototarol, isototarolenone, and 1-oxo-3β-hydroxytotarol, from the roots of Juniperus chinensis Linn - Kuo,Y.-H.; Chen,W-C. (Chem Pharm Bull, 1994)