1-[2-(2,4-Diamino-6-pteridinyl)ethyl]naphthalene AIDS-007522 AIDS007522