AIDS-186031 AIDS186031 Tricyclo[3.3.1.1~3,7~]decane-1-carboxylic acid, ethyl ester