Isolation of cyclohumulanoids from Daedaleopsis tricolor and their biosynthesis based on in silico simulations