Formal syntheses of hepoxilin B3, trioxilin B3 and substances against rice blast disease from D-mannitol