Structures of dictyodial and dictyolactone, unusual marine diterpenoids