1-Naphthalenecarboxylic acid, 8-(1,3-dihydroxypropyl)-1,2,3,4,4a,5,8,8a-octahydro-6-hydroxy-3,8-dimethyl-7-(1-methylpentyl)-5-oxo- AIDS-060844 AIDS060844