(1S,8aS)-1-((S)-1-Hydroxy-but-2-ynyl)-8,8a-dihydro-1H-oxazolo[3,4-a]pyridine-3,7-dione