AIDS-188231 AIDS188231 Spiro[cyclopropane-1,2'-tricyclo[3.3.1.1]decane]-2-methanamine