Hexacarbocyclic triterpenes from leaves of Cryptomeria japonica