Total syntheses of heimiol A, hopeahainol D, and constrained analogues.