2(3H)-Furanone, dihydro-3-[(R)-hydroxy(3,4,5-trimethoxyphenyl)methyl]-4-(1-naphthalenylcarbonyl)-, (3R,4S)- AIDS-212749 AIDS212749