1-Oxaspiro[4.6]undec-3-en-2-one, 3-(cyclopropylphenylmethyl)-4-hydroxy- AIDS-050569 AIDS050569 Tetronic acid deriv.