1-Oxaspiro[4.5]dec-3-en-2-one, 3-(cyclopropylphenylmethyl)-4-hydroxy-6-(2-phenylmethyl)- AIDS-050845 AIDS050845 Tetronic acid deriv.