A compound having the formula ##STR00001## or a pharmaceutically acceptable salt or a prodrug thereof is disclosed herein. Y, A, and B are as described herein.Methods, compositions, and medicaments related to these compounds are also disclosed.