1-Oxaspiro[4,7]dodec-3-en-2-one, 3-(cyclopropylphenylmethyl)-4-hydroxy- AIDS-050531 AIDS050531 Tetronic acid deriv.