3-(Cyclopropylphenylmethyl)-4-hydroxy-2-oxo-1-oxa-8-azaspiro[4.5]dec-3-ene-8-carboxylic acid tert-butyl ester AIDS-050622 AIDS050622 Tetronic acid deriv.