Spiro-ring formation is catalyzed by a multifunctional dioxygenase in austinol biosynthesis.