Dotofide, a Guanidine‐Interrupted Terpenoid from the Marine Slug Doto pinnatifida (Gastropoda, Nudibranchia) | Publicación