3-(Cyclopropylphenylmethyl)-4-hydroxy-1-oxa-8-aza-spiro[4.5]dec-3-ene-2-one AIDS-050623 AIDS050623 Tetronic acid deriv.