1-Oxaspiro[4,4]non-3-en-2-one, 3-(cyclopropylphenylmethyl)-4-hydroxy- AIDS-050530 AIDS050530 Tetronic acid deriv.