Proton decay into charged leptons