(5S,7S,6R)-7-Hydroxy-5-methyl-2-oxo-4H,5H,6H,7H,8H,1aH-oxirano[2,3-h]oxecin-6-yl (2E)but-2-enoate AIDS-111357 AIDS111357