3-(Cyclopropylphenylmethyl)-4-hydroxy-2-oxo-1-oxa-8-azaspiro[4.5]dec-3-ene-8-carboxylic acid AIDS-050617 AIDS050617 Tetronic acid deriv.